Results for 'Konstantin Vladimirovich Zenkin'

573 found
Order:
  1.  11
    Music eidos time: Aleksey Losev and scope of contemporary discipline of music.Konstantin Vladimirovich Zenkin - 2018 - Moskva: Progress-Tradition. Edited by K. V. Zenkin.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  12
    Losev’s Interpretations of Richard Wagner.Konstantin V. Zenkin - 2018 - Russian Studies in Philosophy 56 (6):491-497.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  7
    Music as a subject of discussion in A.F. Losev’s philosophical prose.Konstantin Zenkin - 2020 - Studies in East European Thought 72 (3-4):363-376.
    This article focuses on Alexei Losev’s literary texts that embrace his mythology of music: “I was 19 years old,” “A meteor,” “A woman-thinker,” “The Tchaikovsky trio,” and “An encounter.” It is shown that Losev’s musical mythology developed from his early musical-critical works—through the artistic-mythological episodes of his philosophical works per se —to his fiction of the 1930s. Losev’s intentionally abstract philosophy of music required to be complemented by the artistic, emotional, socially and historically specific expression. The main idea of Losev’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  58
    On the religious foundations of A.F. Losev's philosophy of music.Konstantin V. Zenkin - 2004 - Studies in East European Thought 56 (2-3):161-172.
    The article considers A.F. Losev''s philosophy of music in the context ofhis entire religious worldview and as the part of hisChristian-Neoplatonic philosophy. Synthesizing Pythagorean-Platonic andRomantic musical doctrines, Losev concludes: music is the expression ofthe life of numbers, a meonic-hyletic element that rages inside numericconstructions. So it is necessary to analyse the concept of number inthe system of Neoplatonic thought. In the Neoplatonic hierarchy of theuniverse both numeric sphere and music are located at the source of allthe eidei, above them and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.
    The original proof of the four-color theorem by Appel and Haken sparked a controversy when Tymoczko used it to argue that the justification provided by unsurveyable proofs carried out by computers cannot be a priori. It also created a lingering impression to the effect that such proofs depend heavily for their soundness on large amounts of computation-intensive custom-built software. Contra Tymoczko, we argue that the justification provided by certain computerized mathematical proofs is not fundamentally different from that provided by surveyable (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  6.  85
    ChatGPT is no Stochastic Parrot. But it also Claims that 1 is Greater than 1.Konstantine Arkoudas - 2023 - Philosophy and Technology 36 (3):1-29.
    This article is a commentary on ChatGPT and LLMs (Large Language Models) in general. It argues that this technology has matured to the point where calling systems such as ChatGPT “stochastic parrots” is no longer warranted. But it also argues that these systems continue to have serious limitations when it comes to reasoning. These limitations are much more severe than commonly thought. A large array of examples are given to support these claims.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  12
    Immortality Revisited.Konstantin Kolenda - 1980 - Philosophy and Literature 4 (2):167-179.
    In lieu of an abstract, here is a brief excerpt of the content:Konstantin Kolenda IMMORTALITY REVISITED In his essay, "Poets and Thinkers: Their Kindred Roles in the Philosophy of Martin Heidegger," J. Glenn Gray points out that Heidegger "does not treat imaginative literature and other works of art qua literature and art but as aspects of philosophy or meditative thought." To Heidegger's question, "How long are we going to prevent ourselves from experiencing the actual as actual?", Gray is inclined (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  52
    Scientific Intuition of Genii Against Mytho-‘Logic’ of Cantor’s Transfinite ‘Paradise’.Alexander A. Zenkin - 2005 - Philosophia Scientiae 9 (2):145-163.
    In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  6
    Scientific Intuition of Genii Against Mytho-‘Logic’ of Cantor’s Transfinite ‘Paradise’.Alexander A. Zenkin - 2005 - Philosophia Scientiae 9:145-163.
    In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Resisting Moral Conservatism with Difficulties of Reality: a Wittgensteinian-Diamondian Approach to Animal Ethics.Konstantin Deininger, Andreas Aigner & Herwig Grimm - 2022 - Journal of Value Inquiry 57.
    In this paper, we tackle the widely held view that practice-oriented approaches to ethics are conservative, preserving the moral status quo, and, in particular, that they do not promote any change in our dealings with animals or formulate clear principles that help us to achieve such change. We shall challenge this view with reference to Wittgensteinian ethics. As a first step, we show that moral thought and action rest on basic moral certainties like: equals are to be treated equally and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Reliability in Machine Learning.Thomas Grote, Konstantin Genin & Emily Sullivan - 2024 - Philosophy Compass 19 (5):e12974.
    Issues of reliability are claiming center-stage in the epistemology of machine learning. This paper unifies different branches in the literature and points to promising research directions, whilst also providing an accessible introduction to key concepts in statistics and machine learning – as far as they are concerned with reliability.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Für Tiere sprechen: Reichweite und Nachhaltigkeit von Für-Sprache am Beispiel der Pig Vigils (Speaking for Animals: Range and Sustainability of Animal Advocacy Using the Example of Pig Vigils).Konstantin Deininger & Kristina Steimer - 2019 - Tierstudien 1 (16):104-114.
  13. Sintezis o "russkoĭ idee".Konstantin Cherepanov - 1998 - Sankt-Peterburg: K. Cherepanov.
     
    Export citation  
     
    Bookmark  
  14.  17
    Losev’s interpretation of Schelling’s aesthetics.Konstantin Derevyanko - 2012 - Sententiae 27 (2):77-84.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  5
    Zvuchashchai︠a︡ filosofii︠a︡: sbornik stateĭ.Konstantin Semenovich Pigrov (ed.) - 2003 - Sankt-Peterburg: Izd-vo Sankt-Peterburgskogo universiteta.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  14
    Two types of Orthodox theological personalism: Vasily Zenkovsky and Vladimir Lossky.Konstantin M. Matsan - forthcoming - Studies in East European Thought:1-14.
    The article attempts to compare personalist aspects in the works of Vasily Zenkovsky and Vladimir Lossky. It is shown that two types of philosophical personalism (metaphysical and existentialist) in the history of Russian thought set the framework for two types of theological personalism presented respectively by Zenkovsky and Lossky. The philosophy of Lev Lopatin was the important source for the principles of Zenkovsky’s personalist vision. The relevant philosophical background on Lossky’s personalism is provided by Nikolai Berdyaev’s works. The article considers (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  93
    On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
    PA is Peano Arithmetic. Pr(x) is the usual Σ1-formula representing provability in PA. A strong provability predicate is a formula which has the same properties as Pr(·) but is not Σ1. An example: Q is ω-provable if PA + ¬ Q is ω-inconsistent (Boolos [4]). In [5] Dzhaparidze introduced a joint provability logic for iterated ω-provability and obtained its arithmetical completeness. In this paper we prove some further modal properties of Dzhaparidze's logic, e.g., the fixed point property and the Craig (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  18. Mitgeschöpfe in Cora Diamonds Moralphilosophie (Fellow Creatures in Cora Diamond’s Moral Philosophy).Konstantin Deininger - 2020 - Tierethik 1 (2):80-106.
    Dieser Artikel stellt Cora Diamonds Begriff des Mitgeschöpfs dar und untersucht dessen Relevanz für tierethische und tierpolitische Diskurse. Die traditionelle Tierethik hat eine rationalistische, naturalistische und reduktionistische Tendenz. Diamonds Moralphilosophie stellt dem einen praxissensitiven Ansatz gegenüber, der Emotionen und die moralische Imagination umfasst, wobei Diamond die Bedeutung des Menschseins betont. Letztere entspringt zwar einem epistemischen Anthropozentrismus, jedoch folgt aus diesem keine Mensch-Tier-Hierarchie: Diamond plädiert dafür, andere Tiere als Mitgeschöpfe, als Gefährten auf sterblichen Pfaden, zu begreifen. Dabei zeigt Diamond an ihrer (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  10
    Schopenhauers Überwindung der Theorie der Selbsterhaltung und der neuzeitlichen Rationalität: Schopenhauer als Wegbereiter Nietzsches.Konstantin Broese - 2006 - In Konstantin Broese, Andreas Hütig, Oliver Immel & Renate Reschke (eds.), Vernunft der Aufklärung - Aufklärung der Vernunft. Akademie Verlag. pp. 217-230.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  6
    Problema uma v drevnegrecheskoĭ filosofii.Konstantin Fedorov - 2021 - Irkutsk: Na Chekhova.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. The Problem of Justifying Animal-Friendly Animal Husbandry.Konstantin Deininger - 2022 - Transforming Food Systems: Ethics, Innovation and Responsibility.
    Intense or industrial animal husbandry is morally bad. This consensus in animal ethics led to the emergence of veganism which is recently in decline in favour of ‘conscientious carnivorism’ which advocates eating animal products from animal-friendly animal husbandry in response to the moral problems of industrial farming. Advocates of animal-friendly husbandry justify rearing and killing ‘happy animals’ by highlighting that the animals live pleasant lives and would not have existed if not reared for human consumption. In this paper, I tackle (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  27
    Randomized Controlled Trials in Medical AI.Konstantin Genin & Thomas Grote - 2021 - Philosophy of Medicine 2 (1).
    Various publications claim that medical AI systems perform as well, or better, than clinical experts. However, there have been very few controlled trials and the quality of existing studies has been called into question. There is growing concern that existing studies overestimate the clinical benefits of AI systems. This has led to calls for more, and higher-quality, randomized controlled trials of medical AI systems. While this a welcome development, AI RCTs raise novel methodological challenges that have seen little discussion. We (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  13
    From Kant to Frank: The Ethic of Duty and the Problem of Resistance to Evil in Russian Thought.Konstantin M. Antonov - 2023 - Kantian Journal 42 (1):10-51.
    One of the key ethical debates in Russian religious thought, initiated by Leo Tolstoy, concerned the question of nonresistance to evil by force. The purpose of this article is to assess the influence of Kant’s ethics and philosophy of religion on the course of this debate and to determine the place and significance of the arguments and considerations expressed on this issue by Semyon Frank in the early and late periods (1908 and 1940s) of his work. To this end I (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Full & Partial Belief.Konstantin Genin - 2019 - In Richard Pettigrew & Jonathan Weisberg (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 437-498.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  14
    Creativity through Lateral Thinking Techniques.Konstantine Alexopoulos & Theodore Scaltsas - 2018 - Proceedings of the XXIII World Congress of Philosophy 68:11-17.
    Creativity is an emerging field of research for philosophy. A diachronic cultural value and fundamental human ability, creativity poses a host of questions that challenge us both on a theoretical and practical level. In this paper we explore creativity through the use of problem-solving lateral thinking techniques, as part of the C2Learn European Community research program. Lateral thinking is defined and then classified into three distinct kinds: conceptual, diagrammatic and emotive. Each kind is then explicated and its basic principles examined, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  18
    Computation, hypercomputation, and physical science.Konstantine Arkoudas - 2008 - Journal of Applied Logic 6 (4):461-475.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  21
    A Tempered Rationalism for a Tempered Yuck Factor—Using Disgust in Bioethics.Konstantin Eckl & Konstantin Deininger - 2024 - Asian Bioethics Review 16 (2):1-20.
    When it comes to invasive manipulation of animals on the biological level, reactions of disgust are common and often influential on people’s moral judgments. As a case in point, the Belgian Blue, a breed of hyper-enhanced cattle which will serve as a case study for the present article, has historically been met with revulsion. Traditionally, in bio- and animal ethics, this ‘yuck factor,’ has been denied any productive role in proper moral justification, since rationalism is still a dominant paradigm in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  6
    Das Prinzip des Absurden: eine historisch-systematische Untersuchung zur modernen Erkenntniskritik.Konstantin Alogas - 2014 - Würzburg: Königshausen & Neumann.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  12
    Performing Defiance with Rights.Konstantine Eristavi - 2021 - Law and Critique 32 (2):153-169.
    Against the well-established critical rejection of rights a growing literature in the tradition of agonistic democracy asserts their emancipatory role in the struggles for social change. However, agonistic theorists, invested as they are in the idea of democratic innovation as a process of gradual ‘augmentation’ of existing rules, institutions and practices, fail to account for the ruptural capacity, and hence for the full radical potential, of rights. Using the performative approach, I develop a conception of rights claiming as a defiant (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  53
    Theory Choice, Theory Change, and Inductive Truth-Conduciveness.Konstantin Genin & Kevin T. Kelly - 2019 - Studia Logica 107 (5):949-989.
    Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in terms of optimally direct (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  31.  32
    Einleitung zu Georg Lukács: Warum sind Demokratien den Autokratien überlegen? und Das wirkliche Deutschland.Konstantin Baehrens - 2015 - Deutsche Zeitschrift für Philosophie 63 (2).
    Two short typescripts by G. Lukács from the archive, dating from 1941/42, shed light on his appraisal of the cultural ‘inner reserves’ of Germany and the ‘moral reserves’ of the democracies involved in the Second World War, as well as on Lukács’s political philosophy at that time. The conception of an intrinsic interrelation of a humanist philosophical anthropology and rationalist epistemology elucidates his egalitarian and democratic account. Both texts are located within the intellectual development of the author in an introduction (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Ėstetika i literaturnai︠a︡ kritika.Konstantin Sergeevich Aksakov & V. A. Koshelev - 1995 - Moskva: "Iskusstvo". Edited by V. A. Koshelev.
     
    Export citation  
     
    Bookmark   1 citation  
  33. Vladimir Solovʹev i sudʹba Rossii: sot︠s︡ialʹno-politicheskie iskanii︠a︡ tretʹego puti.Konstantin Alekseev - 2007 - Moskva: ROSSPĖN.
     
    Export citation  
     
    Bookmark  
  34.  5
    Bessmertie dushi v filosofii Fomy Akvinskogo.Konstantin Bandurovskiĭ - 2011 - Moskva: Rossiĭskiĭ gosudarstvennyĭ gumanitarnyĭ universitet.
    Книга представляет собой реконструкцию и анализ томистской концепции бессмертия человеческой души в общем контексте философии Фомы Аквинского.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  4
    Otkrovenie: filosofskiĭ laptizm.Konstantin Belov - 2011 - Moskva: Zhivoe slovo.
    В книге рассматриваются некоторые попытки построения "Третьего Христианства", очищенного от скверны.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  20
    Vernunft der Aufklärung - Aufklärung der Vernunft.Konstantin Broese, Andreas Hütig, Oliver Immel & Renate Reschke (eds.) - 2006 - Akademie Verlag.
    Dieser Band untersucht wichtige Stationen der Vor- und Fruhgeschichte der Aufklarung, zentrale Denker und Tendenzen der Aufklarungsepoche und deren Fortwirken. Es wird gezeigt, wie aufklarerische Impulse konzeptualisiert wurden und in Rezeption und Kritik mit aufklarungskritischen Positionen verflochten sind. Die Autoren rekonstruieren ursprungliche Entwurfe, Korrekturen und Uberbietungen und leisten so selbst eine Fortfuhrung der Aufklarung, indem die aufklarerische Vernunft mit Kritik angereichert und dadurch reflexiv eingeholt wird. Nur die uber ihre eigene Geschichte und ihre blinden Flecke aufgeklarte Vernunft kann der ursprunglichen (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  15
    Exploring Similarities Across the Space and Theater Industries.Konstantin Chterev & Maria Eugenia Panero - 2021 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Osnovye problemy sot︠s︡iologii myshlenii︠a︡.Konstantin Romanovich Megrelidze - 1965 - Tbilisi,: "Met︠s︡niereba,".
     
    Export citation  
     
    Bookmark  
  39.  16
    Vivid: A framework for heterogeneous problem solving.Konstantine Arkoudas & Selmer Bringsjord - 2009 - Artificial Intelligence 173 (15):1367-1405.
  40.  13
    Verdikt und Trauerspiel. Ein Rezensionsessay zu Lukács, mit Seitenblicken auf Adorno.Konstantin Baehrens - 2013 - Zeitschrift für Religions- Und Geistesgeschichte 65 (4):394-405.
  41.  20
    Religious Thought and Scientific Knowledge in the Artistic System of Dostoevsky.Konstantin A. Barsht - 2011 - Russian Studies in Philosophy 50 (3):34-47.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  7
    Identification archéologique et historique de l'emporion de Pistiros en Thrace.Konstantin Bosnakov - 1999 - Bulletin de Correspondance Hellénique 123 (1):319-329.
    Cet article apporte, pour la première fois, des arguments confortant l'identification de l'emporion de Pistiros, attesté épigraphiquement dans la « Grande inscription » du village de Vetren, avec le site archéologique d'époque classique et hellénistique de la région d'Adžijska Vodenica, situé à 2 km de l'endroit où l'inscription a été trouvée. Les éléments en faveur de cette identification sont les suivants : 1) la relation entre l'emplacement de l'inscription — de l'autre côté de l'ancienne « Voie diagonale » reliant Byzance (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  6
    Impact of COVID-19 on digital medical education: compatibility of digital teaching and examinations with integrity and ethical principles.Konstantin Brass, Anna Mutschler & Saskia Egarter - 2021 - International Journal for Educational Integrity 17 (1).
    The COVID-19 pandemic in 2020 has had a lasting impact on all areas of personal life. However, the political, economic, legal and healthcare system, as well as the education system have also experienced the effects. Universities had to face new challenges and requirements in teaching and examinations as quickly as possible in order to be able to guarantee high-quality education for their students.This study aims to examine how the German-speaking medical faculties of the Umbrella Consortium of Assessment Network have dealt (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  15
    Losev’s criticism of german philosophy.Konstantin Derevyanko - 2013 - Sententiae 28 (1):87-97.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  16
    Abendland in Bayern: Zum Verhältnis von Abendländischer Bewegung und CSU zwischen 1945 und 1955.Konstantin Götschel - 2017 - Zeitschrift für Religions- Und Geistesgeschichte 69 (4):367-398.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46. Human-Animal Relationships and Animal Ethics in Crisis: A New Way Out? “Animal Crisis: A New Critical Theory” by Alice Crary and Lori Gruen. [REVIEW]Konstantin Deininger - 2023 - Journal of Agricultural and Environmental Ethics 36 (2):1-5.
  47.  20
    Science after Stalin: Forging a New Image of Soviet Science.Konstantin Ivanov - 2002 - Science in Context 15 (2):317-338.
    ArgumentPost-Stalinist reforms resulted in dramatic changes in the ways of operation of Soviet science: one can say that they altered the very understanding of what science was, or should be, in the socialist society. A new vision came about as a result of political and rhetorical efforts of scientists, who pushed forward their various, often conflicting, agendas acting in accordance with specific rules of Soviet polity. The most visible part of the reform came with the 1961 administrative reorganization of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  48.  2
    Nation.Konstantin Arshin - 2018 - Philosophical Anthropology 4 (2):103-116.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  54
    Theory Choice, Theory Change, and Inductive Truth-Conduciveness.Konstantin Genin & Kevin T. Kelly - 2018 - Studia Logica:1-41.
    Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in terms of optimally direct (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  50.  18
    The provability logic for Σ1-interpolability.Konstantin N. Ignatiev - 1993 - Annals of Pure and Applied Logic 64 (1):1-25.
    We say that two arithmetical formulas A, B have the Σ1-interpolation property if they have an ‘interpolant’ σ, i.e., a Σ1 formula such that the formulas A→σ and σ→B are provable in Peano Arithmetic PA. The Σ1-interpolability predicate is just a formalization of this property in the language of arithmetic.Using a standard idea of Gödel, we can associate with this predicate its provability logic, which is the set of all formulas that express arithmetically valid principles in the modal language with (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 573